Nuprl Definition : btrue 13,42
tt == inl   
latex

Upbool 1, bool 1
Wellformedness Lemmasbtrue wf, btrue wf
Definitionsinl x ,
FDL editor aliasesbtrue

origin